home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Turnbull China Bikeride
/
Turnbull China Bikeride - Disc 2.iso
/
STUTTGART
/
LANG
/
PROLOG
/
BP330
/
docs
/
bp_1
< prev
next >
Wrap
Text File
|
1994-09-09
|
3KB
|
101 lines
.nr X
.TH bp 1 "1 Sep 1994"
.SH NAME
bp \- BinProlog System
.SH SYNOPSIS
\f4bp\f1
[\f4\-h\f2 n\f1]
[\f4\-s\f2 n\f1]
[\f4\-t\f2 n\f1]
[\f4\-c\f2 n\f1]
[\f4\-b\f2 n\f1]
[\f4\-i\f2 n\f1]
[\f2filename\f1]
.SH AVAILABILITY
.LP
Various Unix systems and 32-bit extended DOS+Windows 3.1
.SH DESCRIPTION
BinProlog has been developped by Paul Tarau mostly
at the University of Moncton, Canada,
and is based on his BinWAM abstract machine,
a specialization of the WAM
for the efficient execution of binary logic programs.
BinProlog is a fairly complete Prolog
implementation featuring both C-emulated execution
and generation of standalone applications
by compilation to C. Some other features are:
Tcl/Tk interface,
C-compatible floating point operations, dynamic code,
intuitionistic and linear implication,
efficient high-order programming builtins, logical
global variables, backtrackable destructive assignment,
circular term unification, extended DCGs (now built in
the engine as `invisible grammars'), continuation
manipulation primitives, a garbage-collected
hashing based global dictionnary for constant-time sparse
arrays and graphs, a C-interface (optional with C-source
licensing) etc.
The \f4bp\fP command starts the BinProlog toplevel.
The directory \f4wam2c\fP contains a project (*.pro) file
and a makefile for generating a standalone application
through compilation to C.
The directory \f4TCL\fP contains a bidirectional pipe based
BinProlog to Tcl/Tk interface.
The directory \f4cparser\fP contains
Koen De Bosschere's ISO Prolog
parser (written in C) and BinProlog standalones
based on the parser (cbp.*).
The directory \f4multi\fP contains Koen De Bosschere's
blackboard based distributed programming extension
to BinProlog and BinProlog executables for Solaris 2.3 which
integrate them (mbp.*)
.SH OPTIONS
.TP 10
.B \-h\f2 n\f1
.B Heap size in Kb.
.TP
.B \-s\f2 n\f1
.B Stack size in Kb.
.TP
.B \-t\f2 n\f1
.B Trail size in Kb.
.TP
.B \-c\f2 n\f1
.B Code size in Kb.
.TP
.B \-b\f2 n\f1
.B Basement size in Kb.
.TP
.B \-d\f2 n\f1
.B String Input-Output buffer in Kb.
.TP
.B \-d\f2 n\f1
.B Exponent of 2 giving the number of entries in the global hashing table.
.TP
.B \-a\f2 n\f1
.B Exponent of 2 giving the number of entries in the atom table.
.TP
.B \-q\f2 n\f1
.B Level of quietness to suppress some verbose messages.
.TP
.B \f2filename \f1
.B Prolog run time system. When omitted, the filename
wam.bp is used by default.
.SH NOTES
The latest release can be obtained
by ftp from: clement.info.umoncton.ca.
Send bug reports and requests
for licensing information
to binprolog@info.umoncton.ca.